First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
201	Anytime Inference in Probabilistic Logic Programs with TP -Compilation Jonas Vlasselaer, Guy Van den Broeck, Angelika Kimmig, Wannes Meert, Luc De Raedt Department of Computer Science KU Leuven, Belgium firstname.lastnam Add to Reading List Source URL: lirias.kuleuven.be Language: English - Date: 2015-11-20 04:37:18 Model theory Predicate logic Markov logic network Rules of inference Probabilistic logic Stable model semantics Resolution First-order logic Atomic formula Propositional calculus FO Inference
202	Automated reasoning for first-order logic Theory, Practice and Challenges Konstantin Korovin1 The University of Manchester UK Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2013-10-30 08:22:22
203	arXiv:1507.02456v1 [cs.AI] 9 Jul 2015 Add to Reading List Source URL: arxiv.org Language: English - Date: 2015-07-09 20:33:34 Graphical models Mathematics Logic Mathematical logic First-order logic Model theory Predicate logic Abox Eval Bayesian network Ring Markov random field
204	Specifying and Verifying Organizational Security Properties in First-Order Logic Christoph Brandt1 , Jens Otten2 , Christoph Kreitz2 , and Wolfgang Bibel3 1 Universit´e du Luxembourg Add to Reading List Source URL: www.cs.uni-potsdam.de Language: English - Date: 2011-06-07 13:44:55
205	Practical Proof Reconstruction for First-order Logic and Set-Theoretical Constructions Cl´ement Hurlin, INRIA Sophia-Antipolis Amine Chaieb, Tjark Weber, Technische Universit¨at M¨ unche Add to Reading List Source URL: www.montefiore.ulg.ac.be Language: English - Date: 2007-07-30 09:11:35
206	Combinations of theories for decidable fragments of first-order logic? Pascal Fontaine Universit´e de Nancy, Loria Nancy, France Add to Reading List Source URL: www.montefiore.ulg.ac.be Language: English - Date: 2009-07-01 12:27:09
207	Cruanes, Heymans, Mason, Owre, and Shankar The Semantics of Datalog for the Evidential Tool Bus? (Extended Abstract) Simon Cruanes1 , Stijn Heymans2 , Ian Mason3 , Sam Owre3 , and Natarajan Add to Reading List Source URL: stijnheymans.net Language: English - Date: 2015-12-05 16:07:35 Predicate logic Mathematical logic Propositional calculus Automated theorem proving Query languages Datalog Prolog Logic programming Ground expression Horn clause Substitution First-order logic
208	Representing Streams in Second Order Logic (Coinduction and Coalgebra in Second Order Logic) Herman Geuvers Radboud University Nijmegen and Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2013-01-17 04:22:03 Category theory Mathematics Theoretical computer science Software engineering Functional programming Computer programming Recursion F-coalgebra Coinduction Coalgebra Corecursion First-order logic
209	Rewriting Guarded Negation Queries Vince B´ar´any? , Michael Benedikt, and Balder ten Cate ?? 2 1 LogicBlox Inc., Atlanta, GA Department of Computer Science, University of Oxford Add to Reading List Source URL: developer.logicblox.com Language: English - Date: 2013-10-18 17:50:36 Logic Abstraction Mathematics Model theory Mathematical logic Craig interpolation First-order logic Conjunctive query Beth definability Substitution Interpretation Structure
210	Modelling Infinite Structures with Atoms Mikolaj Boja´ nczyk? University of Warsaw Abstract. The topic is a variant of first-order logic defined in the framework of sets with atoms, which allows formulas to use orbit-f Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2015-05-11 06:15:24

UPDATE